首页> 外文OA文献 >Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013

【2h】

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013

机译：分布式系统的形式技术：IFIP WG 6.1联合国际会议FMOODS / FORTE 2013于2013年6月3-5日在意大利佛罗伦萨的DisCoTec 2013第八届国际分布式计算技术联合会议上召开

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Beyer, Dirk; Boreale, Michele;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献

1. 5th Qualitative and Quantitative Methods in Libraries International Conference (QQML 2013), Rome, Italy, June 4 to 7, 2013: a report of the conference [J] . Laura Bowering Mullen Library hi tech news . 2013,第9期

机译：2013年6月4日至7日，意大利罗马，第五届国际图书馆定性和定量方法会议（QQML 2013）：会议报告
2. Conference 2013: Personalized Medicine & Individualized Drug Delivery. An international symposium held jointly by CSPS and CC-CRS, Vancouver, BC, Canada, June 2013 [J] . Beverley Christina Berekoff Journal of Pharmacy and Pharmaceutical Sciences . 2013,第3期

机译：2013年会议：个性化药物和个性化药物递送。 CSPS和CC-CRS在加拿大不列颠哥伦比亚省温哥华联合举办的国际研讨会，2013年6月
3. Special Issue on Workshops of the 8th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013) [J] . Jochen Meyer, Mads Frost, Wen-Chen Hu International journal of handheld computing research . 2014,第1期

机译：第八届医疗普适计算技术国际会议研讨会特刊（PervasiveHealth 2013）
4. Preface and Highlights of KICSS'2013--the 8th International Conference on Knowledge, Information and Creativity Support Systems [C] . Andrzej M.J. Skulimowski, Janusz Kacprzyk International Conference on Knowledge, Information and Creativity Support Systems . 2016

机译：KICS'2013的前言和亮点 - 第8届知识，信息和创造力支持系统国际会议
5. Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 [O] . Beyer, Dirk, Boreale, Michele 2013

机译：分布式系统的形式技术：IFIP WG 6.1国际联合会议FMOODS / FORTE 2013国际会议第八届国际分布式计算技术联合会议，DisCoTec 2013，意大利佛罗伦萨，2013年6月3-5日

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013

摘要

著录项

相似文献

相关主题

期刊订阅